1. Computer Aided Verification
پدیدآورنده : / Armin Biere, Roderick Bloem
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Decidability of Parameterized Verification
پدیدآورنده : / Bloem, Roderick
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ELECTRONIC&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, ELECTRICAL
رده :
E-BOOK
3. Trusted Systems
پدیدآورنده : / Roderick Bloem, Peter Lipp
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
